Approximate Minimization Of Generalized Reed Muller Forms

A Canonical And/exor Form That Includes Both the Generalized Reed-muller Forms and Kronecker Reed-muller Forms

| The paper gives a positive answer to a question posed by Tsutomu Sasao-whether there exists some family of canonical forms that would include both the Generalized Reed-Muller Forms and the Kro-necker RM Forms as its special cases. We call the new forms Generalized Kronecker Forms. We present also the corresponding decision diagrams. They can be used for representation of large functions and a...

Boolean Matching Using Generalized Reed-Muller Forms

In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis tool. Input permutation, input and output negation for matching are handled simultaneously. To reduce the search space for input correspondence, we have developed a method that can detect symmetries of any number of inp...

Generalized Inclusive Forms - New Canonical Reed-Muller Forms Including Minimum ESOPs

A Canonical And/exor Form That Includes Both the Generalized Reed-muller Forms and Kronecker Forms

| The paper gives a positive answer to an open problem-whether there exists some family of canonical forms that would include both the Generalized Reed-Muller Forms and the Kronecker Forms as its special cases. We call the new forms Generalized Kronecker Forms. We present also the corresponding decision diagrams. They can be used for representation of large functions and also for optimal synthe...

A New Exact Algorithm for Highly Testable Generalized Partially Mixed Polarity Reed Muller Forms

Generalized Partially Mixed Polarity Reed Muller GPMPRM expansions are a canonical sub family of Generalized Reed Muller GRM expansions and super family of Fixed Polarity Reed Muller FPRM expansions The main motivation to study GPM PRM forms is their very high testability similar to FPRM forms and better than GRMs which are also highly testable Since GPMPRM sub family of ESOP is much larger tha...